Transcultural Philosophy and Its Foundations in Implicate Logic

The foundations of knowledge in transcendental philosophy

  The relation among the three elements of knowledge is considered as an important issue in epistemology. Mollasadra introduced the relation between knowledge and object-known in mental existence and upon his own principals of philosophy believed that the essence of knowledge is the occurring of quiddity and the nature of external object in mind. Knowledge is a kind of existence, which within ...

Prime Implicate Generation in Equational Logic

We present an algorithm for the generation of prime implicates in equational logic, that is, of the most general consequences of formulæ containing equations and disequations between first-order terms. This algorithm is defined by a calculus that is proved to be correct and complete. We then focus on the case where the considered clause set is ground, i.e., contains no variables, and devise a s...

On the Epistemological foundations of Logic Programming and its Extensions

One of the major roles of logic in computer science and A.I. is for knowledge representation and specification. In the context of knowledge representation, formal logic is widely praised as the tool par excellence for expressing information in a precise way and for correct and precise communication of information between different experts. In the scenario of communicating experts, the experts e...

Logic and Foundations

"foundations of logic and methodology"

0